Nuprl Definition : band_mon 13,42
<,> == <, x,y. x =b y, x,y. tt, x,y. x  y, tt, x.x> 
latex

Upgroups 1
Wellformedness Lemmasband mon wf
Definitions, p =b q, p  q, tt

origin